Linguistic expressions frequently make reference to the situation in which they are uttered. In fact, there are expressions whose whole point of use is to relate to their context of utterance. It is such expressions that this article is primarily about. However, rather than presenting the richness of pertinent phenomena (cf. Anderson & Keenan 1985), it concentrates on the theoretical tools provided by the (standard) two-dimensional analysis of context dependence, essentially originating with Kaplan (1989)--with a little help from Stalnaker (1978) (...) and Lewis (1979a, 1980), and various predecessors including Kamp (1971) and Vlach (1973). The current article overlaps in content with the account in Zimmermann (1991), which is however much broader (and at times deeper).. (shrink)

In May 2010, philosophers, family and friends gathered at the University of Notre Dame to celebrate the career and retirement of Alvin Plantinga, widely recognized as one of the world's leading figures in metaphysics, epistemology, and the philosophy of religion. Plantinga has earned particular respect within the community of Christian philosophers for the pivotal role that he played in the recent renewal and development of philosophy of religion and philosophical theology. Each of the essays in this volume engages with some (...) particular aspect of Plantinga's views on metaphysics, epistemology, or philosophy of religion. Contributors include Michael Bergman, Ernest Sosa, Trenton Merricks, Richard Otte, Peter VanInwagen, Thomas P. Flint, Eleonore Stump, Dean Zimmerman and Nicholas Wolterstorff. The volume also includes responses to each essay by Bas van Fraassen, Stephen Wykstra, David VanderLaan, Robin Collins, Raymond VanArragon, E. J. Coffman, Thomas Crisp, and Donald Smith. (shrink)

Physical boundaries and the earliest topologists. Topology has a relatively short history; but its 19th century roots are embedded in philosophical problems about the nature of extended substances and their boundaries which go back to Zeno and Aristotle. Although it seems that there have always been philosophers interested in these matters, questions about the boundaries of three-dimensional objects were closest to center stage during the later medieval and modern periods. Are the boundaries of an object actually existing, less-than-three-dimensional parts of (...) the object—that is, are solids bounded by two-dimensional surfaces, surfaces by one-dimensional “edges” or “physical lines”, edges by dimensionless “simples”? If not, how does a perfectly spherical object manage to touch a perfectly flat object—what part of the sphere is in immediate contact with the plane, if the sphere has no unextended parts? But if such parts be admitted, are we not then saddled with “actual infinities” of simples, lines, and surfaces spread throughout each continuous object—the boundaries of all the object’s internal parts? Does it help to say that these internal boundaries exist only “potentially”? (shrink)

To what extent can Nietzsche's idea of the Overman be used in connection with transhumanist notions of highly advanced humans and even posthumans?

Incompatibilists believe free will is impossible if determinism is true, and they often claim that this view is supported by ordinary intuitions. We challenge the claim that incompatibilism is intuitive to most laypersons and discuss the significance of this challenge to the free will debate. After explaining why incompatibilists should want their view to accord with pretheoretical intuitions, we suggest that determining whether incompatibilism is in fact intuitive calls for empirical testing. We then present the results of our studies, which (...) put significant pressure on the claim that incompatibilism is intuitive. Finally, we consider and respond to several potential objections to our approach. (shrink)

Future robots should have common sense about the world in order to handle the problems they will encounter. A large part of this commonsense knowledge must be naive physics knowledge, since carrying out even the simplest everyday chores requires familiarity with physics laws. But how should one start codifying this knowledge? What kind of skills should be elicited from the experts (each and every one of us)? This paper will attempt to provide some hints by studying the mental models of (...) force and motion. (shrink)

A non-violent position drawn from the Anabaptist tradition (‘two-kingdom dualism’) is contrasted with the Christian pacifism with which that position is commonly conflated. It is argued that two-kingdom dualism more effectively leverages the philosophical and practical features of its particularly Christian character than does Christian pacifism – and that these features may have implications beyond the philosophy of religion.

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

The work of Thomas White represents a systematic attempt to combine the best of the new science of the seventeenth century with the best of Aristotelian tradition. This attempt earned him the criticism of Hobbes and the praise of Leibniz, but today, most of his attempts to navigate between traditions remain to be explored in detail. This paper does so for his ontology of accidents. It argues that his criticism of accidents in the category of location as entities over (...) and above substances was likely aimed at Francisco Suárez, and shows how White’s worries about the analysis of location were linked with his broader cosmological views. White rejects real qualities, but holds that the quantity of a substance is somehow distinct from its bearer. This reveals a common ground with some of his scholastic interlocutors, but lays bare a deep disagreement with thinkers like Descartes on the nature of matter. (shrink)

Is it possible for an individual that has gone out of being to come back into being again? The English Aristotelian, Thomas White, argued that it is not. Thomas Hobbes disagreed, and used the case of the Ship of Theseus to argue that individuals that have gone out of being may come back into being again. This paper provides the first systematic account of their arguments. It is doubtful that Hobbes has a consistent case against White. Still his (...) criticism may have prompted White to clarify his views on identity over time in his later work. (shrink)

The Oxford Handbook of Metaphysics offers the most authoritative and compelling guide to this diverse and fertile field of philosophy. Twenty-four of the world's most distinguished specialists provide brand-new essays about 'what there is': what kinds of things there are, and what relations hold among entities falling under various categories. They give the latest word on such topics as identity, modality, time, causation, persons and minds, freedom, and vagueness. The Handbook's unrivaled breadth and depth make it the definitive reference work (...) for students and academics across the philosophical spectrum. (shrink)

Principles of procreative beneficence (PPBs) hold that parents have good reasons to select the child with the best life prospects. Sparrow (2010) claims that PPBs imply that we should select only female children, unlesswe attach normative significance to “normal” human capacities. We argue that this claim fails on both empirical and logical grounds. Empirically, Sparrow’s argument for greater female wellbeing rests on a selective reading of the evidence and the incorrect assumption that an advantage for females would persist even when (...) a serious gender imbalance is obtained. Logically, PPBs cite only pro tanto reasons and allow that the good of an individual child could be outweighed by other morally relevant considerations, such as those which take collectively suboptimal outcomes into account. There is thus no need to attach value to the “normal.”. (shrink)

Die Übernahme des KI-Unternehmens DeepMind durch Google für rund eine halbe Milliarde US-Dollar signalisierte vor einem Jahr, dass von der KI-Forschung vielversprechende Ergebnisse erwartet werden. Spätestens seit bekannte Wissenschaftler wie Stephen Hawking und Unternehmer wie Elon Musk oder Bill Gates davor warnen, dass künstliche Intelligenz eine Bedrohung für die Menschheit darstellt, schlägt das KI-Thema hohe Wellen. Die Stiftung für Effektiven Altruismus (EAS, vormals GBS Schweiz) hat mit der Unterstützung von Experten/innen aus Informatik und KI ein umfassendes Diskussionspapier zu den Chancen (...) und Risiken der künstlichen Intelligenz verfasst und geht darin auf aktuelle, mittel- und langfristige Herausforderungen im Bereich der KI-Entwicklung ein. (shrink)

Lewis’s Principal Principle says that one should usually align one’s credences with the known chances. In this paper I develop a version of the Principal Principle that deals well with some exceptional cases related to the distinction between metaphysical and epistemic modal­ity. I explain how this principle gives a unified account of the Sleeping Beauty problem and chance-­based principles of anthropic reasoning. In doing so, I defuse the Doomsday Argument that the end of the world is likely to be nigh. (...) GPI Working Paper No. 8-2021. (shrink)

A growing number of decision theorists have, in recent years, defended the view that rationality is permissive under risk: Different rational agents may be more or less risk-averse or risk-inclined. This can result in them making different choices under risk even if they value outcomes in exactly the same way. One pressing question that arises once we grant such permissiveness is what attitude to risk we should implement when choosing on behalf of other people. Are we permitted to implement any (...) of the rationally permissible risk attitudes, is there some specific risk attitude that is required when choosing for others, or are we required to defer to the risk attitudes of the people on whose behalf we are choosing? This article elaborates on this question, explains its wider practical and theoretical significance, provides an overview of existing answers, and explores how to go about providing a more systematic account of how to choose on behalf of others in risky contexts. (shrink)

We discuss abstraction principles in the context of modal and temporal logic. It is argued that abstractionism conflicts with both serious presentism and serious actualism.

Intuitively, many people seem to hold that engaging in acts of virtual murder in videogames is morally permissible, whereas engaging in acts of virtual child molestation is morally impermissible. The Gamer’s Dilemma (Luck in Ethics Inf Technol 11:31–36, 2009) challenges these intuitions by arguing that it is unclear whether there is a morally relevant difference between these two types of virtual actions. There are two main responses in the literature to this dilemma. First, attempts to resolve the dilemma by defending (...) an account of the relevant moral differences between virtual murder and virtual child molestation. Second, attempts to dissolve the dilemma by undermining the intuitions that ground it. In this paper, we argue that a narrow version of the Gamer’s Dilemma seems to survive attempts to resolve or dissolve it away entirely, since neither approach seems to be able to solve the dilemma for all cases. We thus provide a contextually sensitive version of the dilemma that more accurately tracks onto the intuitions of gamers. However, we also argue that the intuitions that ground the narrow version of the Dilemma may not have a moral foundation, and we put forward alternative non-moral normative foundations that seem to better account for the remaining intuitive difference between the two types of virtual actions. We also respond to proposed solutions to the Gamer’s Dilemma in novel ways and set out areas for future empirical work in this area. (shrink)

This paper investigates the political dimension of Fritz Mauthner’s writings in respect to his language critique and his ambivalent relationship to Judaism. Its aim is to oppose the common understanding of Mauthner as a German-nationalist. For doing so, Mauthner’s relation to Judaism is contextualised within his philosophical views on patriotism, mother-tongue, and the formation of social communities. By suggesting an anti-nationalist interpretation of his philosophy, it is argued that participation in a certain linguistic practice can explain what it means to (...) belong to a certain community according to Mauthner. The paper discusses to what extent Mauthner’s writings can be interpreted as anti-nationalist and concludes that he is too contradictory to be understood distinctively as a nationalist or an anti-nationalist. (shrink)

This paper challenges the widely held view that ‘good for’, ‘well-being’, and related terms express a distinctive evaluative concept of central importance for ethics and separate from ‘simply good’ as used by G. E. Moore and others. More specifically, it argues that there's no philosophically useful good-for or well-being concept that's neither merely descriptive in the sense of naturalistic nor reducible to ‘simply good’. The paper distinguishes two interpretations of the common claim that the value ‘good for’ expresses is distinctively (...) ‘subject-relative’. One concerns the ground of this value, or the properties that make something good for you; it says these must involve some relation to you. The other concerns the resulting value itself, or what supervenes on this ground; it says that too involves a relation. Neither interpretation, the paper argues, yields a significantly distinct evaluative concept. The ethically fundamental evaluative concept is just ‘simply good’. (shrink)

The claim that common sense regards free will and moral responsibility as compatible with determinism has played a central role in both analytic and experimental philosophy. In this paper, we show that evidence in favor of this “natural compatibilism” is undermined by the role that indeterministic metaphysical views play in how people construe deterministic scenarios. To demonstrate this, we re-examine two classic studies that have been used to support natural compatibilism. We find that although people give apparently compatibilist responses, this (...) is largely explained by the fact that people import an indeterministic metaphysics into deterministic scenarios when making judgments about freedom and responsibility. We conclude that judgments based on these scenarios are not reliable evidence for natural compatibilism. (shrink)

Theories of free will are often measured against how well they capture everyday intuitions about free will. But what are these everyday intuitions, and what theoretical commitments do they express? Empirical methods have delivered mixed messages. In response, some free will theorists have developed error theories to undermine the credentials of countervailing intuitions. These efforts are predicated on the idea that people might misunderstand determinism in any of several ways. This paper sheds light on the comprehension problem. We first discuss (...) recent efforts to explain systematic errors in how people interpret determinism. Then, we present the alarming results of two new preregistered studies exploring three types of comprehension failure: (a) epiphenomenal bypassing, (b) fatalistic bypassing, and (c) indeterministic intrusion. Our findings suggest that misunderstanding runs deeper than others have supposed. This casts doubt on existing models of commonsense thinking about free will. Unless and until researchers properly control for the kinds of misunderstandings we identify, research on free will intuitions cannot shed light on whether ordinary thinking reflects commitments to compatibilism or incompatibilism. (shrink)

A key source of support for the view that challenging people’s beliefs about free will may undermine moral behavior is two classic studies by Vohs and Schooler (2008). These authors reported that exposure to certain prompts suggesting that free will is an illusion increased cheating behavior. In the present paper, we report several attempts to replicate this influential and widely cited work. Over a series of five studies (sample sizes of N = 162, N = 283, N = 268, N (...) = 804, N = 982) (four preregistered) we tested the relationship between (1) anti-free-will prompts and free will beliefs and (2) free will beliefs and immoral behavior. Our primary task was to closely replicate the findings from Vohs and Schooler (2008) using the same or highly similar manipulations and measurements as the ones used in their original studies. Our efforts were largely unsuccessful. We suggest that manipulating free will beliefs in a robust way is more difficult than has been implied by prior work, and that the proposed link with immoral behavior may not be as consistent as previous work suggests. (shrink)

What are the truth conditions of want ascriptions? According to an influential approach, they are intimately connected to the agent’s beliefs: ⌜S wants p⌝ is true iff, within S’s belief set, S prefers the p worlds to the not-p worlds. This approach faces a well-known problem, however: it makes the wrong predictions for what we call (counter)factual want ascriptions, wherein the agent either believes p or believes not-p—for example, ‘I want it to rain tomorrow and that is exactly what is (...) going to happen’ or ‘I want this weekend to last forever, but of course it will end in a few hours’. We solve this problem. The truth conditions for want ascriptions are, we propose, connected to the agent’s conditional beliefs. We substantiate this connection by pursuing a striking parallel between (counter)factual and non-(counter)factual want ascriptions on the one hand and counterfactual and indicative conditionals on the other. (shrink)

According to the so-called Classical Theory, concepts are mentally represented by individually necessary and jointly sufficient application conditions. One of the principal empirical objections against this view stems from evidence that people judge some instances of a concept to be more typical than others. In this paper we present and discuss four empirical studies that investigate the extent to which this ‘typicality effect’ holds for the concept of basic needs. Through multiple operationalizations of typicality, our studies yielded evidence for a (...) strong effect of this kind: Participants tended to recall the same core examples of the concept in a free-listing task. They judged some basic needs to be more typical than others. The items that were judged to be more typical were listed more frequently in the free-listing task. These items were listed earlier on in the free-listing task. Typical basic needs, as well as non needs, were classified faster than atypical basic needs in a reaction time study. These findings suggest that the concept of basic needs may have a non-classical structure. If so, the quest for a simple and robust intensional analysis of the concept may be futile. (shrink)

According to Kant, pure intuition is an indispensable ingredient of mathematical proofs. Kant‘s thesis has been considered as obsolete since the advent of modern relational logic at the end of 19th century. Against this logicist orthodoxy Cassirer’s “critical idealism” insisted that formal logic alone could not make sense of the conceptual co-evolution of mathematical and scientific concepts. For Cassirer, idealizations, or, more precisely, idealizing completions, played a fundamental role in the formation of the mathematical and empirical concepts. The aim of (...) this paper is to outline the basics of Cassirer’s idealizational account, and to point at some interesting similarities it has with Kant’s and Peirce’s philosophies of mathematics based on the key notions of pure intuition and theorematic reasoning, respectively. (shrink)

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

In answering normative questions, researchers sometimes appeal to the concept of basic needs. Their guiding idea is that our first priority should be to ensure that everybody is able to meet these needs—to have enough in terms of food, water, shelter, and so on. This article provides an opinionated overview of basic needs in normative contexts. Any basic needs theory must answer three questions: (1) What are basic needs? (2) To what extent do basic needs generate reasons for action and (...) how are these reasons to be understood? (3) How are basic needs and their satisfaction to be measured? I address these questions in turn. Then I also briefly discuss the theoretical potential of appealing to basic needs in normative contexts. It turns out that future research in this area could benefit from a higher degree of interdisciplinarity and methodological reflection, and that, generally speaking, basic needs theories are more promising than they have often been claimed to be. (shrink)

This metatheoretical paper develops a list of new research targets by exploring particularly promising interdisciplinary contact points between empirical dream research and philosophy of mind. The central example is the MPS-problem. It is constituted by the epistemic goal of conceptually isolating and empirically grounding the phenomenal property of “minimal phenomenal selfhood,” which refers to the simplest form of self-consciousness. In order to precisely describe MPS, one must focus on those conditions that are not only causally enabling, but strictly necessary to (...) bring it into existence. This contribution argues that research on bodiless dreams, asomatic out-of-body experiences, and full-body illusions has the potential to make decisive future contributions. Further items on the proposed list of novel research targets include differentiating the concept of a “first-person perspective” on the subcognitive level; investigating relevant phenomenological and neurofunctional commonalities between mind-wandering and dreaming; comparing the functional depth of embodiment across dream and wake states; and demonstrating that the conceptual consequences of cognitive corruption and systematic rationality deficits in the dream state are much more serious for philosophical epistemology (and, perhaps, the methodology of dream research itself) than commonly assumed. The paper closes by specifying a list of potentially innovative research goals that could serve to establish a stronger connection between dream research and philosophy of mind. (shrink)

In mental action there is no motor output to be controlled and no sensory input vector that could be manipulated by bodily movement. It is therefore unclear whether this specific target phenomenon can be accommodated under the predictive processing framework at all, or if the concept of “active inference” can be adapted to this highly relevant explanatory domain. This contribution puts the phenomenon of mental action into explicit focus by introducing a set of novel conceptual instruments and developing a first (...) positive model, concentrating on epistemic mental actions and epistemic self-control. Action initiation is a functionally adequate form of self-deception; mental actions are a specific form of predictive control of effective connectivity, accompanied and possibly even functionally mediated by a conscious “epistemic agent model”. The overall process is aimed at increasing the epistemic value of pre-existing states in the conscious self-model, without causally looping through sensory sheets or using the non-neural body as an instrument for active inference. (shrink)

Recent political developments cast doubt on the wisdom of democratic decision-making. Brexit, the Colombian people's (initial) rejection of peace with the FARC, and the election of Donald Trump suggest that the time is right to explore alternatives to democracy. In this essay, I describe and defend the epistocratic system of government which is, given current theoretical and empirical knowledge, most likely to produce optimal political outcomes—or at least better outcomes than democracy produces. To wit, we should expand the suffrage as (...) wide as possible and weight citizens’ votes in accordance with their competence. As it turns out, the optimal system is closely related to J. S. Mill's plural voting proposal. I also explain how voters’ competences can be precisely determined, without reference to an objective standard of correctness and without generating invidious comparisons between voters. (shrink)

A good account of the agnostic attitude of Suspending Judgement should explain how it can be rendered more or less rational/justified according to the state of one's evidence – and one's relation to that evidence. I argue that the attitude of suspending judgement whether p constitutively involves having a belief; roughly, a belief that one cannot yet tell whether or not p. I show that a theory of suspending that treats it as a sui generis attitude, wholly distinct from belief, (...) struggles to account for how suspension of judgement can be rendered more or less rational (or irrational) by one's evidence. I also criticise the related idea that suspension essentially requires an 'Inquiring Attitude'. I show how a belief-based theory, in contrast, neatly accounts for the rational and epistemic features of suspending and so neatly accounts for why an agnostic has a genuine neutral opinion concerning the question whether p, as opposed to simply having no opinion. (shrink)

Like American politics, the academic debate over justice is polarized, with almost all theories of justice falling within one of two traditions: egalitarianism and libertarianism. This book provides an alternative to the partisan standoff by focusing not on equality or liberty, but on the idea that we should give people the things that they deserve. Mulligan argues that a just society is a meritocracy, in which equal opportunity prevails and social goods are distributed strictly on the basis of merit. That (...) gives citizens their just deserts. In addition to its novel conceptual approach, meritocracy is distinctive from existing work in two ways. First, it is grounded in research on how people actually think about justice. Empirical research reveals that people don't think that social goods should be distributed equally. Nor do they dismiss the idea of social justice. Across ideological and cultural lines, people want rewards to reflect merit. Second, the book discusses hot-button political issues and makes concrete policy recommendations. These issues include anti-meritocratic bias against women and racial minorities and the United States’ widening economic inequality. Justice and the Meritocratic State offers a new theory of justice and provides solutions to our most vexing social and economic problems. It will be of keen interest to philosophers, economists, and political theorists. (shrink)

The theory of collective agency and intentionality is a flourishing field of research, and our understanding of these phenomena has arguably increased greatly in recent years. Extant theories, however, are still ill-equipped to explain certain aspects of collective intentionality. In this article we draw attention to two such underappreciated aspects: the failure of the intentional states of collectives to supervene on the intentional states of their members, and the role of non-human factors in collective agency and intentionality. We propose a (...) theory of collective intentionality which builds on the ‘interpretationist’ tradition in metasemantics and the philosophy of mind as initiated by David Lewis and recently developed further by Robbie Williams. The collective-level analogue of interpretationism turns out to look different in some ways from the individual-level theory, but is well-suited to accommodating phenomena such as hybrid collective intentionality. Complemented with Kit Fine’s theory of variable embodiment, such a theory also provides a diachronic account of intentional collectives. (shrink)

Andreas Schmidt and Neil Levy have recently defended nudging against the objection that nudges fail to treat nudgees as rational agents. Schmidt rejects two theses that have been taken to support the objection: that nudges harness irrational processes in the nudgee, and that they subvert the nudgee’s rationality. Levy rejects a third thesis that may support the objection: that nudges fail to give reasons. I argue that these defences can be extrapolated from nudges to some nonconsensual neurointerventions; if Schmidt’s and (...) Levy’s defences succeed, then some nonconsensual neurointerventions neither harness irrationality, nor subvert rationality, nor fail to give reasons. This, I claim, poses a challenge both to opponents of nonconsensual neurointerventions, and to defenders of nudging. (shrink)

The young Edmund Husserl stressed that the success of his philosophy hinged upon his ability to determine the subject and the predicate of impersonal propositions and their expressions, such as ‘It is raining’. This essay accordingly investigates the tenability of Husserl’s early thought, by executing the first study of his analysis of impersonal propositions from the late 1890s. This examination reshapes our understanding of the inception of phenomenology in two ways. First, Husserl pinpoints the subject by outlining why impersonal expressions (...) are employed during communication. This contravenes interpretations of the early Husserl as uninterested in intersubjectivity. Second, by studying how Husserl determines the predicate by investigating existential propositions, I show that Husserl, in the late 1890s, came to his final view on the concept of being. (shrink)

This article argues that Lara Buchak’s risk-weighted expected utility (REU) theory fails to offer a true alternative to expected utility theory. Under commonly held assumptions about dynamic choice and the framing of decision problems, rational agents are guided by their attitudes to temporally extended courses of action. If so, REU theory makes approximately the same recommendations as expected utility theory. Being more permissive about dynamic choice or framing, however, undermines the theory’s claim to capturing a steady choice disposition in the (...) face of risk. I argue that this poses a challenge to alternatives to expected utility theory more generally. (shrink)

Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to maximize reasoning (...) efficiency even at the price of simplifications on the side of representation, philosophical ontologists argue that representational adequacy can bring benefits for the stability and resistance to error of an ontological framework and also for its extendibility in the future. In bioinformatics, however, a third sense of ‘ontology’ has established itself, above all as a result of the successes of the Gene Ontology (hereafter: GO), which is a tool for the representation and processing of information about gene products and their biological functions [Gene Ontology Consortium 2000]. We show how Basic Formal Ontology (BFO) has established itself as an overarching ontology drawing on all three of the strands distinguished above, and describe applications of BFO especially in the treatment of biological granularity. (shrink)

In this introductory paper, I discuss the second-personal approach to ethics and the theory of recognition as two accounts of the fundamental sociality of the human form of life. The first section delineates the deep affinities between the two approaches. They both put a reciprocal social constellation front and center from which they derive the fundamental norms of moral and social life and a social conception of freedom. The second section discusses three points of contrast between the two approaches: The (...) accounts differ in that the second-personal approach opts for a narrower conception of recognition focusing on mutual moral accountability, whereas recognition theory suggests a broader conception including relations of love, respect, and esteem. Secondly, the accounts differ as to how they conceive of the interrelation of the I-thou and the I-We relationship. Finally, they differ with regard to the way they think of struggles for recognition. Whereas the second-personal approach suggests that we can understand struggles on the basis of a transcendental infrastructure of second-personal address, the theory of recognition considers norms of recognition as themselves constituted by dialectical social struggles. The paper closes with a reflection on the ways in which both approaches can help us understand the social vulnerability of the human form of life. (shrink)

The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of point-free topology) (...) give rise to a profusion of topological belief operators that are compatible with the familiar topological knowledge operator. Thereby a canonical topological model for weak KB can be constructed. For this canonical model a truth lemma for the K and B holds such that a completeness theorem for KB can be proved in the familiar way. The second aim of this paper is to show that the topological interpretation of knowledge K comes along with a complete Heyting algebra of belief operators B that all fit the knowledge operator K in the sense that the pairs (K, B) satisfy all axioms of weak KB. This amounts to a pluralistic relation between knowledge and belief: Knowledge does not fully determine belief, rather it designs a conceptual space for belief operators where different (competing) belief operators coexist. (shrink)

Bertrand Russell was one of the protagonists of the programme of reducing “disagreeable” concepts to philosophically more respectable ones. Throughout his life he was engaged in eliminating or paraphrasing away a copious variety of allegedly dubious concepts: propositions, definite descriptions, knowing subjects, and points, among others. The critical aim of this paper is to show that Russell’s construction of points, which has been considered as a paradigm of a logical construction überhaupt, fails for principal mathematical reasons. Russell could have known (...) this, if he had taken into account some pertinent results due to Hausdorff or Tarski. Its constructive aim is to show that one can save Russell’s thesis – that points can be defined in terms of events or regions – by using the conceptual resources of modern pointless topology. (shrink)

Typically, nudging is a technique for steering the choices of people without giving reasons or using enforcement. In benevolent cases, it is used when people are insufficiently responsive to reason. The nudger triggers automatic cognitive mechanisms – sometimes even biases – in smart ways in order to push irrational people in the right direction. Interestingly, this technique can also be applied to doxastic attitudes. Someone who is doxastically unresponsive to evidence can be nudged into forming true beliefs or doxastic attitudes (...) that are propositionally justified. When doxastic nudging uses non-rational mechanisms, the worry is that nudging cannot result in justified beliefs or knowledge, as the resulting doxastic attitudes lack the right kind of basis. In this paper, I will argue that given the right background views about knowledge, justified beliefs and the relevant processes, epistemic nudging is possible even in these cases. That is, all kinds of nudging can – in appropriate circumstances – produce justified beliefs or knowledge in the nudgee. (shrink)